Trefferliste "Proof Assistants" - alle Bücher, Blu-ray Discs und DVDs

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Proof Assistants" finden. Könnten diese Produkte zu Ihrer Suche passen?

Die Erfindung des Verderbens (Blu-ray)

Der Wissenschaftler Prof. Roch erfindet einen Explosivstoff mit ungeheuerlicher Sprengkraft. Er kann mit diesem Sprengstoff Kohle und Erdöl ersetzten, er kann jedoch auch die ganze Welt vernichten. Der Pi…

lieferbar innerhalb 1-2 Wochen

Blu-ray Disc

Age-appropriate Driver Assistance Systems

People in highly developed countries are getting older and older. They want to be mobile in old age, but often have problems in road traffic. Even though they often pay a premium for age-appropriate produ…

lieferbar innerhalb 2-3 Wochen

Buch

Die Erfindung des Verderbens

lieferbar innerhalb einer Woche

DVD

The French School of Programming

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors inc…

lieferbar innerhalb 2-3 Wochen

Buch

Logics and Type Systems in Theory and Practice

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.